Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond Simon Cruanes École polytechnique and Inria https://who.rocq.inria.fr/Simon.Cruanes/

Source URL: cedeela.fr

• Mathematical logic
• Theoretical computer science
• Mathematics
• Automated theorem proving
• Logic in computer science
• Model theory
• First-order logic
• Mathematical proof
• Unification
• Equality

Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin

Source URL: se.inf.ethz.ch

• Software engineering
• Theoretical computer science
• Formal methods
• Logic in computer science
• Computer programming
• Software testing
• Extreme programming
• Postcondition
• Software bug
• Precondition
• Assertion
• Random testing

Original version appeared in the 15th International Symposium on Principles and Practice of Declarative Programming (PPDPEngineering Definitional Interpreters (Extended Version) Jan Midtgaard Norman Ramsey

Source URL: www.cs.tufts.edu

• Logic in computer science
• Greek letters
• Denotational semantics
• Eval
• Lua
• Normal distribution
• San
• Semantics

The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt

Source URL: se.inf.ethz.ch

• Theoretical computer science
• Software engineering
• Formal methods
• Logic in computer science
• Software testing
• Formal verification
• Separation logic
• Loop invariant
• Software verification
• Eiffel
• Postcondition
• Invariant

Recommender Systems; Contextual Multi-Armed Bandit Algorithms for the purpose of targeted advertisement within e-commerce Master of Science Thesis in Computer Science: Algorithms, Languages and Logic

Source URL: publications.lib.chalmers.se

PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Theoretical computer science
• Proof theory
• Logic in computer science
• Models of computation
• Formal methods
• Metalogic
• Denotational semantics
• Linear logic
• Natural deduction
• Cut-elimination theorem

Appendix E: Some challenges of a human- and computerreadable semantic representation of mathematics For computers to deal intelligently with a mathematical result, the result must be codified in an unambiguous semantic m

Source URL: www.wolframfoundation.org

• Mathematics
• Academia
• Theoretical computer science
• Semantics
• Logic
• Semantic memory
• Semantic wiki

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗

Source URL: excape.cis.upenn.edu

• Logic
• Temporal logic
• Philosophical logic
• Mathematical logic
• Abstraction
• Linear temporal logic
• Logic in computer science
• Supervisory control theory
• Non-classical logic
• CTL*
• Modal logic
• Quantifier

Reprinted from the 15th International Symposium on Principles and Practice of Declarative Programming (PPDPEngineering Definitional Interpreters Jan Midtgaard Norman Ramsey

Source URL: www.cs.tufts.edu

• Computing
• Software engineering
• Software
• Greek letters
• Denotational semantics
• Logic in computer science
• Lua
• Normal distribution
• San
• String